Homotopy-theoretic aspects of ¨ type theory Martin-Lof Nicola Gambino University of Palermo visiting

Source URL: www.math.unipa.it

Non-nilpotent elements in motivic homotopy theory Equivariant music - Steve Reich’s “Clapping Music” x = (1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0) ∈ F12

Source URL: people.reed.edu

Equideductive Logic and CCCs with Subspaces Paul Taylor Domains Workshop IX U of Sussex, Tuesday, 23 September 2008

Source URL: www.paultaylor.eu

• Mathematical logic
• Model theory
• Structure
• Universal algebra
• Homotopy theory
• Generalised Whitehead product
• Sigma-algebra

Bibliography of Igor Kriz [1] I.Kriz, Y.Xiu: Tree field algebras, preprint (preliminary version), I.Kriz, M.Loebl, P.Somberg: Fermions on a compact Riemann surface and limits of dimer models, preprint (prelimin

Source URL: www.math.lsa.umich.edu

• Topology
• Homotopy theory
• Mathematics
• Abstract algebra
• Cohomology
• Cobordism
• Homotopy category
• Equivariant stable homotopy theory
• Adams spectral sequence
• Algebraic topology
• K-theory
• Stable homotopy theory

Categorical homotopy theory Emily Riehl To my students, colleagues, friends who inspired this work. . . . what we are doing is finding ways

Source URL: www.math.harvard.edu

On the KU(p) -local stable homotopy category Sarah Whitehouse Rosendal, AugustBased on joint work in progress with

Source URL: sarah-whitehouse.staff.shef.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Module theory
• Algebraic structures
• Homological algebra
• Algebraic geometry
• Commutative algebra
• Module
• Torsion
• Ring
• Ideal

THE EQUIVARIANT COMPLEX COBORDISM RING OF A FINITE ABELIAN GROUP WILLIAM ABRAM, IGOR KRIZ Abstract. We compute the equivariant (stable) complex cobordism ring (M UG )∗ for finite abelian groups G.

Source URL: www.math.lsa.umich.edu

• Algebraic topology
• Homotopy theory
• Surgery theory
• Cobordism
• Differential topology
• Cohomology
• Classifying space
• Sheaf
• Ring
• Spectrum
• Equivariant cohomology
• Whitehead torsion

Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

Source URL: hott-uf.gforge.inria.fr

Daniel R. Licata Personal Information: E-mail:

Source URL: dlicata.web.wesleyan.edu

• Type theory
• International Conference on Functional Programming
• Programming language theory
• Homotopy type theory
• Twelf
• Dependent type
• Logical framework
• Functional programming
• SIGPLAN
• Programming language
• Symposium on Principles of Programming Languages
• Agda

W-TYPES IN HOMOTOPY TYPE THEORY BENNO VAN DEN BERG1 AND IEKE MOERDIJK2 Abstract. We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition,

Source URL: staff.fnwi.uva.nl